Heterogeneous systems co-simulation: a model-driven approach based on SysML State Machines and Simulink
نویسندگان
چکیده
The increasing complexity of real-time systems makes their simulation and validation a demanding task. For most systems, the simulation has to take into account both continuous time and discrete events, and the challenge is to create a co-simulation environment that allows synchronization and interaction between the two worlds. This paper proposes a model-based code-in-the-loop co-simulation framework that relies on the OMG SysML (for discrete events and states modeling with State Machine Diagrams) as implemented in the Artisan Studio tool, and on the industry de-facto standard Matlab Simulink tool (for continuous time modeling and simulation). The main feature is the automatic generation of optimized code, allowing real-time simulation that may eventually run natively on a target for embedded systems. Additional features to enhance the simulation effectiveness, like remote graphical animation and control of the state diagrams evolution, are also supported.
منابع مشابه
Effiziente Integration von Hardwarebeschreibungen in Simulink-TDF-Simulationen
Simulation is an essential tool for development and verification of embedded systems. But key challenges arise from the growing complexity of such systems, ongoing miniaturization, and the increasing integration density. Complex heterogeneous systems are realised as System-in-Package containing software, digital hardware, analogue electronic parts, as well as optical components. In their develo...
متن کاملModel-Based Development and Simulation for Robotic Systems with SysML, Simulink and Simscape Profiles
In system‐level design, it is difficult to achieve a system verification which fulfils the requirements of various stakeholders using only descriptive system models. Descriptive system models using SysML alone are insufficient for system behaviour verifications and engineers always use different simulation tools (e.g., the Mathworks Simulink or Modelica Dymola) to ...
متن کاملCase Study of Test Case Generation Based on Metamodel for Model Transformations
The validation of transformations in the Model-Driven Engineering (MDE) context is important to ensure the quality and correctness of the models. The validation of MDE transformation is burdensome due to both the complexity of the models and the variety of languages that implement them. A test case generation technique can be applied to support the validation process; however, it is challenging...
متن کاملAn MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink
We present the tools, metamodels and code generation techniques in use at Elettronica SpA for the development of communication adapters for software and firmware systems from heterogeneous models. The process start from a SysML system model, developed according to the platform-based design (PBD) paradigm, in which a functional model of the system is paired to a model of the execution platform. ...
متن کاملIntegrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow
Modern embedded systems development, due to systems complexity and multifaceted nature, requires flexible high-level design techniques and notations. In this context, model-driven approaches are gaining popularity, both in industry as well as in academy, since they offer a high degree of abstraction and provide a common framework for the design, simulation and configuration management of comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012